package ch.epfl.lara.matcheck.verify.spec.exceptions;

case class DomainDeclarationEmpty() extends Exception
